proof of partial correctness - English Synonyms Dictionary